perm filename MCYB8.360[360,GF] blob sn#852110 filedate 1988-01-24 generic text, type T, neo UTF8
{`d¬ 4~.23~-F(⊂≥l↔_⊂_n&(0]V ⊂_O∩(⊗∞Fx#QEd 
%!X
@↓P εRAP εRAP εS pPβS pPβS pPβS pPβS pPβS pPβS pPβS pPβS pPβS$∀h⊃S$DhβB@p(∧∪ pPβAA∧hβB@p8βS pPβA`thβB@p8βS pPβA`thβB@p8βS pPβA`thβB@p0∧∪ pPβA!∧PεAαdPεAαTPεAα4("$r@
F`q0(EJ⊃0*``8*``8*``8*``8*``8*``8*``8*``8*``8*``x)Aaλ)Aa_)@`p8αα
0_βA`P@)@`p8β↓j0_βA``8)↓p8β↓j  βA``8&`0_∧↓``8%A ⊂ ∧↓``8%αa8αB	 P∧A`@@%α@a0%α q &↓A↓⊂"Q!p∂HC0εA↓TPεA↓TPεA↓ThβB@thβB@thβB@thβB@thβB@thβB@thβB@thβB@thβB@thβB@thβB@thβB@thβB@thβB@thβB@thβB@thβB@thβB@thβB@thβB@thβB@thβB@tP∂∩CdP∂∃!¬(∧∃!¬0β∃@e0β∃@d("c↓P
F`⊂p%D)1⊂%↓`P@%↓!⊂8%↓↓08%↓↓0@%aP8%aP8-α08'A p8&E)A0&β@⊂8)A 08-Ak08-α	 _εAi _εAi  ¬B	  ¬Ai (∧Ai 8αB	1⊂%D)0p"Q@hπεc0εRATPεS thβS thβS thβS thβS thβS thβS thβS thβS thβS thβS thβRATPεRAT("↓#↓P
Fa⊂p(∧)q⊂'αP8&Aa⊂(&↓a0 %B↓0 %AaP_%AaP_%α	 8%↓`p(%¬)!0%↓`⊂p%↓`0(%↓i 8%α	08ε@i08ε@i0@¬A	@8¬A	P8∧A)`@αAiq⊂(∧*0p"Qb0∀εc0λ∂RctX∂R`P8βA`TPαα pHα∩@@HβB DPαα pHα∩@0PβB@4P↓B@pP↓U`u8βU`u8β@AE8Uc¬8¬A@u8∧B↓¬8∧α@u8βB`u8βA0 βU`p_α@`u8β@@p⊂βU`p⊂β@@u8β@@pλ∧∃`p⊂β!¬ 
∃↓@λε∃↓@_∧⊃(@8∩Ic1XGi1x%Gi0(βA`p(%↓↓⊂8∧A	  ∧Aa⊂ %↓↓⊂8∧A	 _¬↓a _%a 8¬jp8+Ajp8+DJq_+E
pHαα
p@β↓jp@β↓jp8βAjp8βAjp8βAjp8βAjp8βAjp8βAjp8βAj@`↓C
@`↓C
@`↓CλT λ	e⊃X
@↓PH∧RAP8εRAP(λS p8∧a∧hβAA(∧∪ p0βA`thβA!8∧∪ p(βB thβA pHβS p ∧α!∧hβApXβS p βB`th	α`th	α`th	α`thβApXβS p βB`thβApXβS p ∧α!∧hβA pHβS p(βB thβA!8∧∪ p0βA`thβAA(∧∪ p8∧a∧PεA"∀PεAaTPεB!∀("∧%Bh
F`08ββ `0%B@PhαB)0PαC @P%B`p8βBI0XβA``X&↓ ⊂(β↓`` A)P_↓↓ `8αA  _)A P8α↓J00α↓`@(*↓ @8↓AJ@0↓A` 0*A`⊂8AJa *Ej1P)α  8↓α
⊂@α↓`0@(αP8αα
@αA`P8(↓``8αB	p@β↓``8'A`p8β↓i _↓↓`p8β↓` _%` 8βA`p0↓i X∧↓`pX%α@`hαBI0@βC `@&↓AhβAHT ∧bQX
A p_↓S!0λ↓Sα∧Xβa∧Xα↓`dPαα@DPαα@DPαB@4Pβα 4P∧A@4PεRAtXπS↓thπSAuλε∃!∧P↓B@dP↓B`TP↓CDPαα`DPαB TPβαDP∧↓dPλR@0λε∩@0_∧⊃(A8
Gβ1X∧∧j↓('EI`@αAiP@β↓iP8βAiP8βAiP8βAiP8βAiP8βAiP@β↓i`8β↓ia 'Dj↓⊂)∧
⊂8↓Aj8α↓j8α↓ip8αAip8αAip8αAip0β↓i _↓↓@`8%`⊂0βAi Pαβ) HαC)00βC(T /¬c↓X
@↓TPεRAThβS thβS thβS thβS thβS"∧h	∪"4hβA!∧hβA@thβA@thβA@thβA@thβA@thβA@thβA@thβA@thβA!∧P∩BTP	Q(Ex⊂λC1XE	1 %E	0(αAi  βAi  βAi  βAi _∧↓i _∧↓jP8*AjP8*D
Q⊂*DjP8αB
P8βα
P8βAjP8βAjP8βAjP8βAjP8βAjP8βAjP8βα
P8αB
!0)¬*!_"Qλ⊃h∞Fc0h↓U`50αU@U(βU u(βU↓∃ ∧Ta5_¬T`0λβT@@λ∧∀@@λ∧∀ @_∧∀ @_∧∀!uλTα∀xα↓a∧xα↓a∧x↓B tpαα!∧pαα!∧hααa∧P∧AaTP∧AaTP∧AaT("⊂Bq@
F`↓(%¬)!(&A``(&Aa &Aa &Aa &Aa⊂_&Aa⊂_&AiP8&AiQ&DIQ_&A`P@&A``8&A``8&A``8&A``8&A``8&A``8&A``8&A``8&A`P@%¬I!(%∧hT !Gdα⊂
@↓@0ε∩A@0ε∩A@0ε∪ pPβS pPβS pPβS pPβS pPβS pPβS pPβS pPβS pPβS pPβS pPβS pPβS pPβS pPβS pPβS pPβS pPβS pPβS pPβS pPβS pPβS pPβRCdP∂∩Cf_αYV(α→ F0↓Y@60↓Q(D ∞G$!XβE*⊃((E*0 αAj@_αAj0 αAj0 αAj0_β↓j0_β↓j0_β↓j0_β↓j  β↓j  β↓j _βAj _βAj⊂ βAj⊂ βAj⊂_∧↓j⊂_∧↓j ∧↓j ∧↓j_∧Aip ∧Aip ∧Aip_¬↓i1X%Fi1X%A"⊂(%↓"0(%↓αP %↓αP %bp_%bp_%bp_"QλQP
Fc0∩C∧P∪ pHαS pXα∪ pXα∪ pXα∪ p`↓S p(↓A4hβA 4hβA 4hβADhπS!thπS p α∪ p(↓S p(↓S p(↓S ph↓S ph↓S p`α∪ pXαS pPαS p@βRC∀P∩C∧("⊃Cb
Fa⊂`)C
0`+↓J`0*B
↓⊂'¬IAP%B00↓B	08α↓@@8%↓`P0αAi 8αA@P8%↓@`0β↓I 0β↓@`0%↓`P0αAi 8αA@P8%A`@0α↓i0@↓A@0@&εIa0(∧JP@+↓J`0)C
0`)CλT #F#!X
@β∧P∩C∧hβB ThβB`DhβB`DhβB`DhβC4hβC4hβS thβS thβS thβS thβS thβS thβS thβS tPεRATPεQ(D@∂πc1Xβ@h%β@h%β@h'αp('α P('BP (α0 (α   (B⊂ )β
 X)B*@@*α*PH*B*PP*β
0h)A @)↓0H)↓@@(A`@(↓ `H'A!@%β P`%β P`%β P`"Q	⊃p∂Fc0ε↓ADPε↓ADPε↓ADhβB@thβB@thβB!∧hβB!∧hβB↓∀hβAa$hβA` λβS p0↓@ thβA 0⊂βS p(↓`thβA0_βS p_↓Athβ@` (βS p⊂↓A thβ@ 00βS pλ↓↓`th¬↓`th∧Bth∧α th∧α thβB@thβB@tPε↓ADPε↓ADPε↓AD("∩B1_
F``h(β*h)Aj08)Aj08)Aj08)Aj08)Aj08)Aj08)Aj08)Aj08&`@8%A 08%↓` 8%↓` 8%↓` 8%↓@ @%CI0h&B(T %GβQX
@↓P0β∩AP(∧RAP ¬∪ p8¬∪ p0¬S p0α ThβA P⊂↓S p β∪ p αS p_β∪ p⊂β∪ pλβ∪!ThπS"∧hβ@A∧hβ@a∧hβA↓∧hβA thβA!∧hβA@thβA@thβA@p⊂↓S p8β@ 4hβA`pλ↓RAP(¬∩AP0∧RAP8βQ(D`∞π#1XβE*⊃((E*@_αAj@_αAj@_αAj@_αAj@_αAj@_αAj@_αAj@_αAj@_αAj@_αAj0 αAj0 αAj0_β↓j0_β↓j0_β↓j0_β↓j  β↓j  β↓i@_↓@`p8%A ⊂ βAi XβAi P∧↓i PαC) Hββ)@0βC(T &IDaX
A!⊂H∧Sa @∧Sa 8¬∀@p8∧∀A0∧∀!⊂(¬∀!  ¬∀!  ¬∀ 0λβa5α p⊂ε∀@λβ@@0λ∧∀0_β @⊂βT0_¬@@u↓@a _βS`@ ∧@a∧xα↓↓⊂_∧∪`0(∧↓ tx↓A@p(βS`00β↓@tpα↓@`0∧∪@@8αAA∧p↓B@@βS@0@ααthαα 0@∧∪ @Hβ↓!∧P∧D↓TP∧D↓TP∧D↓T("∪Cax
F`hαβ) hαβ) hαβ)P8¬↓iP8¬↓iP8¬↓iP8¬↓iP8¬↓iP8¬↓iP8¬↓iP8¬↓iP8¬↓iQ@&F	Q@&Aa 8&Aa 8&Aa 8&Aa 8&Aa 8&Aa 8&Aa 8&Aa 8&Aa 8&Aa 8%β @h%β @h%β @h"Q	qP∞εc0@¬∀↓dxλ∪!⊂⊂∧S p0βSp@βRa@∧∩`pPβR`pPβRAP∧∩@p`βR@p`βR@p`βR@p`βR@p`βR@p`βR@p`βR@p`βRAP∧∩`pPβR`pPβRa@∧∪p@βS p0βS!⊂⊂∧Sb¬π∀A$("∀βax
F`↓p%πI!p&Aa 8&Aa 8&Aa 8&Aa 8&Aa 8&Aa 8&Aa 8&Aa 8&Aa 8&Aa 8&Aa 8&Aa 8&Aa 8&Aa 8&Aa 8&Aa 8&Aa 8&Aa 8&Aa 8&Aa 8&Aa 8&Aa 8%β``%β``%β``"Q
⊃p∂Fc0ε↓ADPε↓ADPε↓ADhβB@thβB@thβB@thβB@thβB@thβB@thβB@thβB@thβB!∧pSbeλ
↔@upβW@upβW@upβW@upβW@upβVaUXεVaT("∀Bq@
F`↓_%¬)!0&A`P@&A``8&A``8&A``8&A``8&A``8&A``8&A``8&A``8&A`P@&DiQ⊂&D	P8&AiP8&AiP8&AiP8&AiP8%β) h%β(T )Fβ!X
B!eλSb$p∧↓ thβB T`βB`DX∧α`DXβC 4XβC 4P∧∩@tPβR@tPβR@tPβR@tPβRA∧XβC 4XβC 4X∧α`D`βB`DhβB Tp∧↓ tx	∀α∃_π⊃(E ∞Gc1XFi1X%Fi0(αA`P(%↓p8βA	  βA`p %↓p8βA	 _∧↓a_%a8∧jP8*AjP8*AjP8*AjP8*AjP8*AjP8*AjP8*AjP8*Aj⊂x(Cj⊂x"Q
QX∞Fc0¬Aa∀P¬Aa∀P¬Aa∀`∧α@Dh∧αDh∧αDp∧↓@Dp∧↓@Dx∧↓Dx∧↓E∧@E∧@Eλε∀!E⊂¬∀A%_∧∀a¬ β∃e(α∪@0 α∪ P⊂β∪↓D`¬S↓$h∧∪@d("∃Bq@
F`↓⊂%¬	!(&A`@@&A`P8&A`P8&A`P8&A`P8&A`P8&A`P8&A`P8&A`@@&DIQ⊂&DiP8αα)P8β↓iP8β↓iP8β↓iP8β↓iP8β↓iP8β↓iP8β↓iP8αB	P8αα)!0%¬)!_"Q
rX⊗HC0ε@APλεRAP⊂ε@!TPε@APλεS p@βA`thβBp8βS p@βA`thβBp8βS p@βA`thβBp8βS p@βA`thβBp8βS p@βA`thβBp8βS p@βA`thβBp8βS p@βA`thβBp8βS p@βA`thβBp8βS p@βA`thβBp8βS p@βA`thβBp8βS p@βA`thβBp8βRE$P∃∩E&pβ≤Wλα≤ G⊂↓\@7⊂↓Q(E@∀Jc1Xβ0X↓C	 `↓B`0`%β0X↓C	P8βA`p8&A`p8βAiP8βA`p8&A`p8βAiP8βA`p8&A`p8βAiP8βA`p8&A`p8βAiP8βA`p8&A`p8βAiP8βA`p8&A`p8βAiP8βA`p8&A`p8βAiP8βA`p8&A`p8βAiP8βA`p8&A`p8βAiP8βA`p8&A`p8βAiP8βA`p8&A`p8βAi"H%
)"H"Q∩ ∪εc0εBATPεBATPεBAThβDthβDthβDthβDthβDthβDthβDthβDthβDthλ↓`th	↓ th	AthβA!_βS p0∧@thβA`p⊂βS p8β@@thβA`p⊂βS p8β@@thβA`p⊂βS p8β@@thβAA⊂βS p(∧`tP!TP
@ATP	A↓T("⊗Ba@
F` h&∧	Aλ%A@@H%A p@%A↓@%A↓⊂8%@a 8%@a 8+B
`@*B)`x'βIa*BJp@,α⊂8%a@8%↓↓08%↓↓08%↓↓ @%A↓@%A@@P%Di1λ%CHT ∧λ∧!λλ@↓⊂ ∧RA⊂ ∧RA⊂ ∧SP@αSP@αSP@αSP@εSβD`∞Sα (βSP@αA@d`αBP0β∪P@αA@d`αBP0β∪P@αA tP∧Aα$P∧Aα∀P∧A↓t("α#rλD A⊂'∧Ia⊂(``((``((``((``h(``p(``x'A`(α↓ip β↓ P0'@`p(αAI08βA P0%αp(αAI @βA @8%↓`aλ%↓`a%A px"Q↓!8E"⊂∧A↓∀P∧A↓∀P∧A↓∀`αBT`αBT`αBT`αBT`αBT`αBT`αBT`αBT`αBT`αBT`αBT`αBdPRBtPT@e⊂β∀@e_α⊃(@`∧BC1X↓i0(%↓i 8%↓i0(&hp⊂%↓i 8%↓i@(&↓)@(&↓)@(&↓)@(&↓)@(&↓)@(&↓) H%α) H"Q↓Q⊂	D"⊂(¬S!d`πR`p_β∩``0α∩@`8α∩@` βRAtPπRAtPα@@4PβαDPβαDXβ↓@TXβ@`d`πS!dx¬⊃(@p
¬DAX↓i 8%↓i@(%β	 `%β	@(&↓)@(&β	@p&βi@8↓AI@0αA)@(β↓I@(βA)@(βA)@(βAI@(∧↓)@(∧↓)@(∧↓)@(∧↓)@(∧↓)@(∧↓) Hβ↓) Hβ↓) Hβ↓+0,↓+(+AJp(+↓J0@)Aj0("Q↓q0εc0βR@tPβSTPεRATPεST`αST`πSα∀`	∪p βS`8αSP@αSP@αSP@αSP@αSP@αSP@αSP@αSP@αSP@αSP@αRA⊂ ∧RA⊂ ∧RA⊂ ∧Q(ApεβB⊃λ↓α)0P%αi  ↓↓)  ↓A	 0↓i X%αI X%Bi@P%`⊂@%`@(%↓@ %↓  (%αi X%α(T ∂E"aλλAAtpλS"$hβAThβ↓ Thβ↓ Thβ↓ Thλ∪Atxπ∀↓Txβ@@Tpβ@`Tpβ↓TP¬↓TP∧@a∀P∧@a∀Xβ↓!∀("εβbλD HβB	 HαβI H↓D	@(αα @&↓ @0β↓I@(↓A``8&↓ 00∧↓I@p∧↓I@p∧↓I@p∧↓I@(↓AA0&↓ 00∧↓I@(↓A``8&↓ @0β↓I@(αα @%α 1%α @p%α p@"Qβ∩ ∩D"⊂⊂βA!⊂(β∩a⊂ ∧A↓∧X∧A↓⊂_∧Ra (αA↓$X¬AP_¬S@⊂α@`P_α@ E⊂β@ Pλβ∀b%⊂
∀"uβ@`P⊂βS`p αAdxβ↓ P βS@p(αA dP↓@ `0αA `λ↓RA  ∧@a$P∧A!⊂ ∧R`p0∧A t("∂!⊂PλD 8%↓i 8&↓)@(&↓)@(&↓)@(&↓)@(&↓)@(&↓)@(%α) H%α(T ?∧BAλλ@↓∀P∧RA∀`αST`αS↓T`π∪↓t`αAt`αA d`αA d`αA d`αA d`αAtPλRB∧PπQ(GxFB⊃λCi0x%Ci (α↓)  αA)  αA) _ββ	 _ββJ0x)A 0@)A P0)A P0)A P0)A P0)A 0@(D*⊃(CHT ¬DB1λλ@A4Xπ∩atXβ`tXα↓@dXα↓`dXβAdhπS!thπT@0⊂αR@@@β∩@@@β∩@P0β∩``_βRatXπ∪!$("_"1(λD 0H&β	0p%A`⊂8%A`0(%A`0(&βIPh&βI0HA)08↓A) 8α↓) 0αA) 0αA) 8↓↓i!_%DI@HAhT 1¬αQX
D 5 ¬∪atpλ∪"∧`πS↓$`αR`TXα∩`@λ∧∩atPλRA⊂⊂βRA βR@p0βR@p0βR@`@β∩@`@β∩@`@β∩@`@β∩@p0βR@p0βR`p βSp⊂βS!dpε∀↓∧("_c↓P∧ H↓B) H↓B) H↓B)@(βA)@(βA)@(βA)@(βA)@(βA)@(βA)@(βA)@(βA)@(βA)@(βA)@(βA)@(βA)!8%¬i!8.A+` /↓p_/@hT 2¬bq0λ@b∀hλS"∀x↓A Tx↓A Tx↓A Tx↓A Tx↓A Tx↓A Tpα↓ Tpα↓ Tp↓A@Tp↓A@Tp↓A@Thα↓@TX
RbTX
R@PhαR@@xα∩@@xα∩@1λ↓R@1λ↓Q(F(λDB⊃λαAiPX&β)08↓↓I00α↓) 8α↓)!λ%∧)!λ%↓I 0%↓I00β@i00β↓	@8↓↓I@p'αj8"QaH
λc0@βT@u⊂βUU αUU αUU αUTpλS"4`
R``λ∧@ dXα@`p_αR@` αAdPαA P(αR@P(αA TPαA P(αR@P(αA TPαA P(αR@P(αA TPβ↓P β∩`P_β@`TXβ!⊂λβ∪αTh	SB∃ αUU αUU αTA∃⊂∧TA∀("→b! λD ↓λ%∧)!λ&↓ `(&↓ p &↓ p &↓!_&↓!_&↓)@(&↓)@(&↓)@(&↓) H%α) H"Q
↓8D"⊂¬A4P¬A4P¬A4h∧`Tpβ@@Dxε∪a5∧T!¬⊂∧∀A∃λ¬T↓Dxα@@tpα@a∧P¬a$P¬a$P¬a$("~"a@λD Hαα) Hαα) Hαα)@(βAI@(β↓i@(αB	@(αα)@(↓A⊂(&↓ 0_↓↓)@(↓`0(&↓ ⊂ ↓A)@Hα↓)@@αA)@8β↓)@0βA) Hαα) Hαα) Hαα(T 5β!"_
B5λαTuβTuλαT@48↓∀uβTu⊂αT@U⊂αT@U⊂αT@U⊂αT@U⊂αT@U⊂αT@U⊂αT@U⊂αS0_αR`P⊂αR@pλαRATPε∩ADX¬∪t("~bqHλD HαAi Hαα) Hαα)@(αBI@(ααi@(↓A   &↓ ⊂8&β	@h&βI@(↓Ai@(α↓i@(αAI@(αAi@(αA`⊂_%α @P%α PH%α `8"Q
A(∧"⊂ λSB∀pλT0(αT0(αT0(αT0(αT0(αT0(αS`@(αS`@(αS`00αR`p0αRA0αRA0αR@p(∧R@p(∧R`P0∧Q(Fh∞π"⊃λα↓P8%α!0@%α!0@&Aa⊂8&Aa⊂8&Bp@&B PH&B PH&@`⊂0↓A⊂(&@`⊂0↓A⊂(&@` 0A (&@` X↓↓)P_↓B 0(&@`@8α↓)P_α↓`@(%A`0(↓B)08↓A 0H%A`@_αα(T 7¬C↓λλ@↓⊂ ∧RA⊂ ∧RA⊂ ∧SP@αSP@αSP@αSP@αSα$`	∪α$`αBT`αBT`αBT`αBT`αBTP∧A↓∀P∧A↓∀P∧A↓∀("≠bA(λD `@&CIA%B @%A@`0%↓``8%↓A0%↓A0%↓A0%↓A0%↓A0%↓A0%↓``8%A@`0%B @&∧	Pp(αλT 8¬C↓λλ@αdP∩Bd`αBT`αBT`αBT`αBT`αBT`αBT`αBT`αBT`αBT`αBT`αBT`αBTP∧A↓∀P∧A↓∀P∧A↓∀("≤"q@λD P↓BI P↓BI P↓BI@8αAiP(βA)P(βA)P(βA)P0α↓iQλ'∧
p,A+⊂(,A+8+αj`X+αhT 9¬"qHλ@pλ∧∩B$P	S↓_βS`0β∪P8βSP@β∪P@β∪P@β∪P@β∪P@β∪P@β∪P8βS`0β∪↓_βSα∀`λ∪Pλ∧∪T`αST`αSTP∧RA∀P∧Q(G_	∧b⊃λαB)Ph&βi08↓↓i00↓Ai 8↓Ai 0αA) 0βi 0%↓I 0%↓A⊂_%↓a_%A@p %A`@0&βiPh'B(T :¬"aλλ@"4X	Rb4Pα@`P_αR@@ αADPα↓P α∩@0(αA 4P↓A P(↓T@U⊂αT@U⊂αT@U⊂αT@Tx¬Sa4x¬Q(G(
Ec⊃λα P8%α P8%α P8&↓@p &A@P &A@P '↓@0 '↓@0 'A@⊂ 'A@⊂ (α*H(Aj⊂8)↓* ()@j  &`0 %A ⊂ %αi P%αI H%B	@0"Q∞a⊂
∧"⊂π∩B∧PλSP β∪P(αSP(αSP β∪↓t`πS↓t`αAt`αA d`αA d`αA d`αAtPλRB∀PπQ(G8⊃	αaλα  H↓α) H↓α  H%α  H↓α)@(β↓ `(&↓ `(β↓)@(β↓ `(&↓ `(β↓)@(β↓ `(&↓ `(β↓)@(β↓ `(&↓ `(β↓)@(β↓ `(&↓ `(β↓)@(β↓ `(&↓ `(β↓)"λ%λ)"λ3↓M 4↓
⊂_4@hT <λ∧!λλ@↓⊂_∧@A∀P∧@a⊂⊂∧RA⊂_∧@A∀`αA`P0αSP8αA@T`αA`P0αSP8αA@T`αA`P0αSP8αA@T`αA`P0αSP8αA@T`αA`P0αSP8αA@T`αA`P0αSP8αA@TP⊂∩D∧P⊂⊃(GH∞πB⊃λα! H%α! H%α! H&↓!`(&↓!`(&↓!`(&β `(&β`@(&∧0(&↓ @8↓A)@(αA@0(&↓ P0↓A)@(αA@0(&↓ P0↓A)@(α↓`0(%∧@⊂H%∧  H%β`@H"Q∂!λ	D"⊂λε∩adXπR`P_βR`@0αR`00β∩`0 ∧∪!Dhε∪!U⊂∧R@08βR@0@β∩@@0βR@`_∧∩B∧PπRAT("α↓⊂F P0&BI@`&β	00↓↓I00↓↓I 0α↓I 0α↓I 0α↓I 0α↓I 0α↓I 0α↓I 0α↓I 0α↓I 0α↓I 0α↓I 0α↓I 0α↓I 0α↓I 0α↓I00↓↓I00↓↓I@`&β	PP'AHT _Dα!HB5αRa$X¬∩a$xβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dPλ∩B∧Pλ⊃(C⊂λ∧C⊃Hα↓i@X%C) 0↓↓i 8↓↓I 8↓↓i 8↓AI0(α↓I@_αAJ@0)Aj00)↓j 0(AIp8'↓IP0αiP(α@i@(βi0x%Ci x%βi x%βhT →Dα!HAth¬∪↓DXβ dXβ@ dXβ@@TXβ@@TXβ`Th↓@`e⊂βT tp∧SA∀p¬∀@u_βS0(β∩`P β∩@p_β∩@p_β∩@p_β∩@`_βR@`⊂βRaT`¬S@t("
α!_F!0_*↓
@ )A* 0)↓J⊂8(α	pH'B)` A)P(A)P ↓↓)@ ↓A)0(↓A)0 α↓)!⊂%∧I!⊂)A*0()A*0('C)ph'C(T ~Dα!H@ @0α∩adXπ∩aTX¬Ra∀X↓R`4X↓R`4X¬∩aDXεR`P⊂βR`0(β∃e β∃d`↓A dXαAdPβ@@tPβ@@dPβ@ tPπ∩aDh∧⊃(C0λ∧C⊃HαAi`H&Bi@0AI@(↓↓I00↓↓I00↓↓I00↓A	 8%↓I `%β) p%βi 8↓↓i 0α↓I 0α↓I 0α↓I 0α↓I 0α↓I0(α↓I00↓↓i0p&β	PP'αλT ≠Dα!H@!tXπRatXπ∩AtPπ∩@00α∩@00α∩@0(α∀@Eλα∀ EαTDxαS`TxαS@dpβ∪@dpβ∪@dpβ∪@dpβ∪`D("∞α↓⊂F @@&Bi@h%A 00%↓ `(%↓p(%↓ p %↓`@(%α0(%βi x%C)@`&β)0p%Ci (↓B	 (α↓i  βA)  βA) (βA	 (β↓)00↓A)0h&αi`@"Qπ⊃	ε#⊂(β∪!$`ε∩adXβ@dPβ@@dPβ↓dPβ↓dPβ↓dPβ↓dPβ↓dPβ↓dPβ@@tXβ@tXπS↓dhεSa4`α`dXβ@dXβ@dXβ dXβ dXε∪↓$pβQ(BλβB#1X↓i0(%↓i 8%↓i 8%↓i 8%A)0(%A)0(%A)0(%A)@_&i@_&hpλ&i0(%↓i 8%↓i0(&hT ∪Aa⊂`
@@DXαR@tPβR@tXβ∪Thα∪ D`α∩`TXα∩`4("
↓ `∪G p_(↓	p('↓)P(&A)@(&↓)0(%A)0(%A)0(%↓) (%↓) (%↓) (%↓) (%↓) (%↓) (%↓) (%A)0(%A)0(&↓	@(&↓)P &A)`('A* (@hT ∀BA28∞@4Pα∩@TXαST`αS ThαS@TpαS@TpαS@TxαS`TxαS`TxαS`TxαS`TxαS`TxαS`TxαS`TpαS@TpαS@Tpα∪ ThαS D`αR`TPαR@DP↓Q(BPπ∧"↓hβIp 'A	p %@`⊂ @i p%βI0`&B	P@%C	 p%βI0_A⊂_'A	p (HT ⊗α↓ xβ@@DXβ∩A∧P∧∩A∧P∧∩`t`β∪@Dhα∪ D`α∩`TPαR@DP↓Q(Bp∧α@p8↓↓	00%α	 @%α	 @%AI@ "Q¬q		cPh↓∃@E0α∃ U(α∃ E αUE α∀`U_α∀`E⊂αT@E⊂α∀ Uλα∀ EαTEα∪`Txα∪`DpαS@Dpα∪ Thα∪ D`αSD`α∩`TXα∩`DPαR@DPα∩`$("∞APλD   %AI @%α	 @%α	00&↓λpλ&↓	00%α	 @%α	 @%AI@ "Qπ0@¬ε"⊂⊂α∩`dP∧∩A∧P∧∩A∧Xβ∪D8SDXβ∩A∧P∧∩A∧P∧∩`t`β∪@Dhα∪ D`α∩`TPαR@DP↓Q(CxεCc1X↓α	0X%β) h%β) h%A ⊂0&`⊂8'Ai`@&B	P8&A	P_&@iP_&@iP_#@IP_&↓)08%Ai08&↓)P_"Q0@ε	cPλβ∩A∧P∧∩@tPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPβRA∧P∧∩`d("↔!@∪G ⊂0%α	 @%Ai` '↓	` '↓	` '↓	` '↓	` '↓	` '↓	` '↓	` '↓	` '↓	` '↓	` '↓	` '↓	` '↓	` '↓	` '↓	` '↓	08%α	 @%AHT 0↓a⊂`
@`4`α∩`TXα∩@DPα∩@TPβ∩@tPβR@tXαR`D("λA`pεε`  ↓A	0(↓↓) p%βI p%A@⊂0&↓  (&A0 &A0 &↓0 %A  (%A0 %@`@_"Q¬PX¬A↓0¬RA4P¬RA4P¬Q(E`π∧aAX↓@`@_&↓0 %A  (%A0 %↓0 %↓0 %↓  (%↓@⊂0%βI p%βI0(↓↓)0 ↓AλT =Eα@⊂¬αDP
∩BD("∨¬∩H↓α@αH%
)"H"Q∧↓	↓C0⊂↓A@4XαATPβ@@tPβ@@tPβ@@tXαAT`↓A@4("	↓Pxβε0⊂αI 0↓↓) 0↓↓) (↓A) h%BiP8"Q∧R_∩GcP0βD`4p¬∧ThεC d`β@A8∧∩`p 
R@p(
∩@`0↓@AdPαA`0PαR@P8↓B TPαA@@@αR@P(αA`TPαAP8αR@`λβ↓`TX¬A`TX¬↓`ThβαUPαA uHαA↓%@αA↓E8αAp⊂α∃@P βA5(αAp(↓UP(β↓@5_αA@P8↓T@P8αA`5λαBP0α∀PHαA TxαB@P αS@PXβ dhαC!4hαβA$h↓D d("	A↓βF`@_&A)@0%Ai00%↓I (%hT ≡∧B1λλB0 ↓T @_α∀P⊂αS`P⊂αS@P⊂αS P⊂αSP⊂αR@`λβ∩@P⊂αR@P⊂αR@`λβ∪P⊂αS P⊂αS@P⊂αS`P⊂αTP⊂αT @_α∀@0 ↓Q(Cp	∧b⊃λ`@_%↓0 %↓  (%A  (&↓  (&A  ('↓  ('A@⊂0(↓  ((↓  ('A@⊂0'↓  (&A  (&↓  (%A  (%↓  (%↓0 %`@_"Q∂R0∪Fc0_¬α@Th¬Bth¬Aa∃∧AA∃∧AA∃¬↓!¬¬A0λ↓T↓0 ↓T0λ∧`5↓@!_↓T0⊂∧@0 βT0⊂∧@ 0_∧T0_∧ 0⊂¬T0 ¬@@PλαT0 ¬@ P_αT0(¬ @(α∀0(¬ @(α∀00∧@ @(α∀08∧ @(α∀08∧ @(α∀0@β@ P_αS0λ↓Bp⊂α@ TX∧α `⊂¬RA⊂Pα@a∀P∧B@P βRA⊂Xα!TXβC@λεSPp↓@!T(|α8"⊂_8_X]OX≤OX≤?␈␈x}@⊗␈␈␈x{∞⎇@αh∧B3_α_{%0λN3 ∃∂0↓λ h L>`_∞@↓:_GλX=@@x↓E*X h{↓#P¬hq`IO0β
@↓v¬`↓*>`8∀@αλ_G_∪=Bα`∧1cH98{∧%p	8q`↓εO0εH8q`α9}a8∂↓@p≤@(%=KaXα←]p[8{↔dPπ0-@↓A/0 G@`
U β~>d⊂
@↓/ho0b=H2λβ%∪xr_{⊃β`ε0↓t/0"G XJU ∧
>d0⊃@↓↑hA@@H=HqhαrU(↓∂8{∩∧⊂εW∞ α(/0$H h ∧i>dP
@↓λP_=I1xβ⊂q`↓'X{∪βpε→L`α↑o0&I x[¬Z}dp⊂@↓T`∧=Iqxβ
*X↓GH{∀∧⊂εPβ≤O0(H h εU>e⊂
@↓/hohV=J1hαt8p↓←x{∃∧ εl8pβJo0*G@`⊗``π+>e0
@↓/hox∧=Jrp∧K00↓vh{⊗¬`	≤8p∧βo0,J ↓(q`λ0>eP
@↓,pw@↓λ&=Aα βIT⊂α~_{α$ εbs0∧?∂0¬ε`Pg≥	∪>``¬@GP(↓⊂O=AQ(α⊃tpα-H{βC0¬3N@∧bo0πF`Pg≥	a>apλi`9↓_q=CqHα>+@αAX{ε∧ εj↓P¬O0I`xgi 
/>ch¬@GP(↓(⊗=Oa0α u8αU8{∨c@¬Q.¬1o0¬E @GS@
s}fλ@↓∩_G↓0ε=L!8α$<HαdX{_c0¬6
¬TO02εHZ	=}f(
↓β⊂↓↓8'=La`αl8pαx({→b`∧.
εO04πX!r ∞>fH
@↓,p:↓@<=M p↓5*Xβx{~c0¬+αpε$∂06ε Pε3 [>fh⊂↓M@↔↓H[=MaXαYg β!x{≠bp∧Xπ0εM∂08ε`Pg≥
*}gλ
↓)⊂↓↓Pz=N!Hα<∂λβ2x{≤bP∧⊂KPεpo0:¬`H	<@
p}g(@↓≡PU@↓`↓=Na0α u8βE({≥dPπ,uπ∩/0<	 pTm∞@}gH⊂@↓V8+@↓h5=O!(α∪ε@β\({αP∧ π@∂0_E @@∂↔}c⊂
@↓λ↓pM=F1(α⊂βn8{
αP∧ πgO0~E @@∂`}c0
@↓λ↓xg=Fq(α⊂∧α_{∞αP∧ λO0≤E @@⊂.>bλεK@rαλ	=Dp`↓↔∞ ∧∀x{
↓`αjU0λ.∂0∀C@(U*`⊂q}bP
@↓λα⊂∂=E@`↓↔∞ ∧$x{A@α.≤@λNo0↔E @@⊃#>cPεK@rα⊂r=G0`↓↔∞ ∧0h{∂bβ'∞ λho0-C \9⊃a>ehεK@rα_n=L`↓↔∞ ∧C_{λBP∧ 	
O0⊗C@(U*`∩">e`
@↓λα M=O1(α⊂∧Lx{∨¬ λ@	≠O0⊂¬ @@∩:>b 	q(*@α(ε=DR@∧↓cH∧RH{	BP∧ 	:O0≡¬ @@∩z}cp
@↓λα0≥=ORP∧ ∧hH|@α8" {⎇xow{⎇x